#define DEBUG				0
/* in ms*/
#define SIM_CONTEXT_SWITCH_TIME		1

int sim_get_clock(void);
